fun x _ -> ()